Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
51	On the Decidability of Role Mappings between Modular Ontologies Jie Bao1 , George Voutsadakis2 , Giora Slutzki2 and Vasant Honavar2 Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY 12180, USA. b Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-04-06 23:01:44 Functions and mappings Algebraic structures Artificial intelligence Description logic Information science Non-classical logic Sheaf Function Ring Mathematics Abstract algebra Algebra
52	tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-10-29 14:48:47 Mathematical logic Symbol Unification First-order logic Motive Valuation Abstract algebra Algebraic geometry Mathematics
53	Preferential Semantics using Non-smooth Preference Relations∗ XXX January 10, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-11 03:16:39 Algebraic topology Deduction Entailment Logical consequence Metalogic Transitive set Sheaf Constructible universe Orbifold Logic Abstract algebra Mathematics
54	Microsoft Word - Junior Maths.doc Add to Reading List Source URL: www.completeschool.com.au Language: English - Date: 2010-03-06 03:54:22 Algebraic logic Evaluation Expression Equation Multiplication Polynomial Rational function Mathematics Abstract algebra Algebra
55	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:52 Mathematics Algebraic logic Boolean data type Logical disjunction FO Boolean algebras canonically defined Abstract algebra Boolean algebra Mathematical logic
56	Formal approach to security metrics. What does “more secure” mean for you?∗ Leanid Krautsevich Fabio Martinelli Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2011-02-01 10:09:07 Deduction Algebraic geometry Field theory Valuation Entailment Metric Abstract algebra Logic Geometry
57	Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math isn’t a court Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2003-01-29 15:54:56 Mathematical logic Quantification Algebraic number theory Modular arithmetic Vacuous truth Universal quantification Mathematical proof Existential quantification If and only if Mathematics Abstract algebra Logic
58	Integrated Algebra Regents Exam Bimodal Questions Worksheet # 1 Name: ________________________ www.jmap.org Integrated Algebra Regents Bimodal Worksheets 1 The local ice cream stand offers three flavors of soft-serve ice Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-01-24 22:52:56 Equations Abstract algebra Algebraic logic Simultaneous equations Differential equation Expression Boolean algebra Polynomial Algebra Mathematics Elementary algebra
59	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:34:26 Boolean algebra Logic gates Algebraic logic Propositional calculus Logical connectives XOR gate Boolean function AND gate OR gate Abstract algebra Mathematical logic Mathematics
60	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra

UPDATE